home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Language/OS - Multiplatform Resource Library
/
LANGUAGE OS.iso
/
quintus
/
quintus0.lha
/
work
/
compile.in
< prev
next >
Wrap
Text File
|
1992-04-03
|
66b
|
4 lines
load_files('prover_2.06.2').
save_program('compile.out.1').
halt.